• Article  

      Synchronous parallel composition in a process calculus for ecological models 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...
    • Article  

      Synchronous parallel composition in a process calculus for ecological modelsAAA 

      Toro, Mauricio; Philippou, Anna; Kassara, Christina; Sfenthourakis, Spyros (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, ...